University of Cambridge Computer Laboratory - PDFSEARCH.IO - Document Search Engine

University of Cambridge Computer Laboratory
Results: 746

#	Item
331	Unikernels: Library Operating Systems for the Cloud Anil Madhavapeddy, Richard Mortier1 , Charalampos Rotsos, David Scott2 , Balraj Singh, Thomas Gazagnaire3 , Steven Smith, Steven Hand and Jon Crowcroft University of Ca Add to Reading List Source URL: dave.recoil.org Language: English - Date: 2013-09-29 14:14:19 Virtual machines University of Cambridge Computer Laboratory Xen Hyper-V Hypervisor NetBSD OCaml Paravirtualization Operating system System software Software Computing
332	Three Years of Experience with Sledgehammer, a Practical Link between Automatic and Interactive Theorem Provers Lawrence C. Paulson Computer Laboratory University of Cambridge, U.K. Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-12-06 04:58:13 Logic in computer science Automated theorem proving Formal methods Isabelle Proof assistant Automated reasoning Logic for Computable Functions E theorem prover Mathematical proof Theoretical computer science Applied mathematics Mathematics
333	Melange: Creating a “Functional” Internet Anil Madhavapeddy†‡ , Alex Ho†♥ , Tim Deegan†‡ , David Scott‡ and Ripduman Sohan† † Computer Laboratory, University of Cambridge Add to Reading List Source URL: www.tjd.phlegethon.org Language: English - Date: 2007-04-01 17:12:22 Internet standards Internet protocols Internet Protocol IPv4 Transmission Control Protocol Ping Secure Shell Ip LwIP Computing Network architecture Internet
334	Microsoft PowerPoint - xen-OLS4.ppt Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-07-27 14:32:25 University of Cambridge Computer Laboratory Xen Hardware virtualization Hypervisor Hyper-V NetBSD Ring Full virtualization VMware System software Software Virtual machines
335	Facilitating the Development of Soft Devices Andrew Warfield, Steven Hand, Keir Fraser and Tim Deegan University of Cambridge Computer Laboratory, J J Thomson Avenue, Cambridge, UK {firstname.lastname}@cl.cam.ac.uk 1 Add to Reading List Source URL: www.tjd.phlegethon.org Language: English - Date: 2005-02-21 11:24:17 Unix University of Cambridge Computer Laboratory Xen Device driver Operating system Device file Universal Serial Bus Ring Ioctl System software Software Virtual machines
336	Formal Specification and Verification of ARM6 M.J.C. Gordon Computer Laboratory University of Cambridge Final Report to EPSRC on grant GR/N13135 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-06-09 11:49:11 Formal methods Central processing unit ARM architecture Logic in computer science Formal verification Theoretical computer science ARM7 Formal specification Microprocessor Electronic engineering Computer architecture Computer hardware
337	slide 1 gaius Xen Xen 〈http://www.xen.org〉 is a virtualisation technology which scales well Add to Reading List Source URL: floppsie.comp.glam.ac.uk Language: English - Date: 2015-02-04 11:33:14 Xen Virtual machines Linux Terminal Server Project Hyper-V Hypervisor System software Software University of Cambridge Computer Laboratory
338	MA019−002−00−00 Doc. ver.: 5.20 C166/ST10 v8.9 C Cross−Compiler User’s Manual Add to Reading List Source URL: www.tasking.com Language: English - Date: 2012-03-15 12:43:58 Procedural programming languages C++ Subroutines Source code University of Cambridge Computer Laboratory C Parameter Software engineering Computer programming Computing
339	Oracle Database Application Express User’s Guide Add to Reading List Source URL: docs.oracle.com Language: English - Date: 2015-04-05 00:29:12 Holism Source code Subroutine University of Cambridge Computer Laboratory Oracle Corporation Stack Computer programming Computing Software engineering
340	If any reader knows of any other reference please let Frank Land know at (Last updateBIBLIOGRAPHY BOOKS  ‘LEO and the Managers’; J.R.M. Simmons, Macdonald, London, 1962. Add to Reading List Source URL: www.leo-computers.org.uk Language: English - Date: 2015-04-09 13:39:35 Outsourcing Supply chain management University of Cambridge Computer Laboratory Business David Caminer Fellows of the British Computer Society John Pinkerton Frank Land J. Lyons and Co. Computing Management LEO

UPDATE